// 0..32767
uint32_t vcrand_seed;
uint16_t vcrand(void) {
	vcrand_seed *= 0x343fd;
	vcrand_seed += 0x269ec3;
	return (vcrand_seed >> 16) & 0x7fff;
}
